($x$.$F$($x$)) o $X$($s$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$F$($X$($s$))